type-2 hypervisor